401. The seventeen provers of the world
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory ; Data processing ; Algebra ; Computer programs ;
402. The seventeen provers of the world
پدیدآورنده : / foreword by Dana S. Scott
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Proof theory--Data processing,Algebra--Computer programs
رده :
QA
,
155
.
7
,.
E4
,
S48
,
2006
403. The seventeen provers of the world
پدیدآورنده : Freek Wiedijk )ed.(; foreword by Dana S. Scott
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing ، Proof theory,Computer programs ، Algebra
رده :
QA
76
.
L28
Vol
.
3600
404. Theoretical Aspects of Computing - ICTAC 2008
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Algebra -- Data processing,Computer science,Computer software,جبر -- داده‌پردازی,علوم کامپیوتر,نرم‌افزار
رده :
E-Book
,
405. Topics in Computational Algebra
پدیدآورنده : edited by G.M. Piacentini Cattaneo, E. Strickland.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra -- Data processing -- Congresses.,Algebra -- Data processing.
رده :
QA155
.
7
.
E4
E358
1990
406. Topics in computational algebra
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Algebra- Data processing- Congresses
رده :
QA
155
.
7
.
E4
T67
1990
407. Topics in computational algebra
پدیدآورنده : edited by G.M. Piacentini Cattaneo and E. Strickland
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
155
.
7
.
E4T64
408. Topics in nonlinear dynamics with computer algebra /
پدیدآورنده : Richard H. Rand
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra-- Data processing,Dynamics-- Data processing,MACSYMA (Computer system),Nonlinear theories-- Data processing,Perturbation (Mathematics)-- Data processing
رده :
QC133
.
R36
1994
409. Trends in computer algebra : International Symposium, Bad Neuenahr, May 19-21, 1987 : proceedings
پدیدآورنده : R. Janssen, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
296
410. Trends in computer algebra : international symposium, Bad Neuenahr, May 19-21, 1987 : proceedings
پدیدآورنده : R. Janssen, ed
موضوع : Algebra - Data processing - Congresses
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
411. Trends in computer algebra : international symposium, Bad Neuenahr, May 19-21, 1987 : proceedings
پدیدآورنده : R. Janssen, ed
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Algebra
رده :
QA
76
.
L4
v
.
296
412. Typed Lambda Calculi and Applications :
پدیدآورنده : edited by Masahito Hasegawa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra -- Data processing.,Computer science.,Logic design.
رده :
QA9
.
5
E358
2013
413. Computational commutative algebra 1
پدیدآورنده : Kreuzer, Martin
موضوع : ، Grobner bases,، Commutative algebra-- Data processing
۷ نسخه از این کتاب در ۵ کتابخانه موجود است.
414. computer algebra Eurocam 82,european computer algebra conference Marsellie,france,5-7 April 1982
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Algebra-data processing
رده :
QA
155
.
7
.
C6
1982
415. correcting codes-Applied algebra, algebraic algorithms and error
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : correcting codes (Information theory) ; Congresses. ; Algebra ; Data processing ; Congresses. ; Algorithms ; Congresses. ; Computeralgebra ; Kongress ; Tarragona <2009> ; Fehlerkorrekturcode ; Kongress ; Tarragona <2009> ; Kryptologie ; Kongress ; T-Error
416. muMath : a microcomputer algebra system
پدیدآورنده : Wooff, C.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing ، Algebra,، Rich, Albert. MuMath
رده :
QA
155
.
7
.
E4
W6
1987
417. آموزش نرم‌افزار Maple
پدیدآورنده : / افشین همتا.,همتا
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : میپل (فایل کامپیوتر),Maple (Computer file),جبر,Algebra, -- داده‌پردازی, -- Data processing,a01,a01
رده :
QA
۱۵۵
/
۷
/
م
۹
ه
۸ ۱۳۹۶
